801. Schaum's outline of theory and problems of discrete mathematics
المؤلف: Lipschutz, Seymour
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Algebra, Abstract -- Outlines, syllabi, etc,، Combinatorial analysis -- Outlines, syllabi, etc,، Logic, Symbolic and mathematical -- Outlines, syllabi, etc
رده :
QA
162
.
L56
802. Schaum's outline of theory and problems of discrete mathematics
المؤلف: / by Seymoure Lipschutz
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra, Abstract- Outlines, syllabi, etc.,Combinatorial analysis- Outlines, syllabi, etc.,Logic, Symbolic and mathematical- Outlines syllabi, etc.
رده :
QA162
.
L56
803. Schaum's outline of theory and problems of discrete mathematics
المؤلف: / by Seymour Lipschutz
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
804. Schaum's outline of theory and problems of discrete mathematics
المؤلف: Lipschutz, Seymour
المکتبة: (طهران)
موضوع: Outlines, syllabi, etc ، Algebra, Abstract,Outline, syllabi, etc ، Combinatorial analysis,Outlines, syllabi, etc ، Logic, Symbolic and mathematical
رده :
QA
162
.
L54
1997
805. Selected logic papers
المؤلف: Sacks, Gerald E.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
2
.
S23
1999
806. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
807. Selected works
المؤلف: / edited by L. Borkowski
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
BC135
،.
L8
808. Selected works
المؤلف: Lukasiewicz, Jan
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
809. Semi-Markov Models and Applications
المؤلف: edited by Jacques Janssen, Nikolaos Limnios.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.
810. Semirings and Affine Equations over Them: Theory and Applications
المؤلف: by Jonathan S. Golan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
811. Semirings and their Applications
المؤلف: by Jonathan S. Golan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
812. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
المؤلف: Mostowski, Andrzej.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
QA
9
.
65
.
M68
813. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel
المؤلف: Mostowski, Andrzej
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem
رده :
BC
135
.
M6
814. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel
المؤلف:
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt
رده :
BC
135
.
M6
815. Serial Rings
المؤلف: by Gennadi Puninski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
816. Set Theory
المؤلف: edited by Carlos Augusto Prisco, Jean A. Larson, Joan Bagaria, A. R. D. Mathias.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.,Topology.
817. Set theory and logic
المؤلف: Stoll, Robert Roth.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S7985
1963
818. Set theory and logic
المؤلف: by Robert R. Stoll,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Set theory,Logic, Symbolic and mathematical
رده :
QA
.
S7985
248
819. Sets, Logic and categories
المؤلف: / Peter J. Cameron
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Set theory,Logic,symbolic and mathematical,Categories(Mathematics)
رده :
511
.
322
C182s
820. Sets and logic
المؤلف: / C. A. R. Bailey
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logics, symbolic and mathematical,Set theory
رده :
511
.
3
Ba-S
